data OneOfThree a b c = Sinistral a | Medial b | Dextral c